logic semantics

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

And logic syntax and semantics in MLMS are given.

讨论了MLMS的模态逻辑语义和语法。

Agent Logic and the True-False Subset Semantics

Agent逻辑和真假子集语义

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.